Zawadowski, Marek: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Sheaf Representation and Duality for Finitely Presented Heyting Algebras

Silvio Ghilardi and Marek Zawadowski

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 604 KB

english, 1995

2

Descent and duality

Marek W. Zawadowski

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 3.05 MB

english, 1995

3

Model completions and r-Heyting categories

Silvio Ghilardi, Marek Zawadowski

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 1.29 MB

english, 1997

4

The Skolem-Löwenheim theorem in toposes. II

Marek Zawadowski

Journal:

Year:

1985

Language:

english

File:

PDF, 654 KB

english, 1985

5

Formal systems for modal operators on locales

Gonzalo E. Reyes, Marek W. Zawadowski

Journal:

Year:

1993

Language:

english

File:

PDF, 819 KB

english, 1993

6

The formal theory of monoidal monads

Marek Zawadowski

Journal:

Journal of Pure and Applied Algebra

Year:

2012

Language:

english

File:

PDF, 229 KB

english, 2012

7

The category of 3-computads is not cartesian closed

Mihaly Makkai, Marek Zawadowski

Journal:

Journal of Pure and Applied Algebra

Year:

2008

Language:

english

File:

PDF, 215 KB

english, 2008

8

Sheaves over Heyting lattices

Andrzej W. Jankowski, Marek Zawadowski

Journal:

Year:

1985

Language:

english

File:

PDF, 793 KB

english, 1985

9

Undefinability of propositional quantifiers in the modal system S4

Silvio Ghilardi, Marek Zawadowski

Journal:

Year:

1995

Language:

english

File:

PDF, 773 KB

english, 1995

10

The Skolem-Löwenheim theorem in toposes

Marek Zawadowski

Journal:

Year:

1983

Language:

english

File:

PDF, 948 KB

english, 1983

11

The web monoid and opetopic sets

Szawiel, Stanisław, Zawadowski, Marek

Journal:

Journal of Pure and Applied Algebra

Year:

2013

Language:

english

File:

PDF, 433 KB

english, 2013

12

Extent of RV Dysfunction and Myocardial Infarction Assessed by CMR Are Independent Outcome Predictors Early After STEMI Treated With Primary Angioplasty

Tomasz Miszalski-Jamka, Piotr Klimeczek, Marek Tomala, Maciej Krupiński, George Zawadowski, Jessica Noelting, Michał Lada, Katarzyna Sip, Robert Banyś, Wojciech Mazur, Dean J. Kereiakes, Krzysztof Żmu

Journal:

Journal of the American College of Cardiology: Cardiovascular Imaging

Year:

2010

Language:

english

File:

PDF, 819 KB

english, 2010

13

Generalized Płonka Sums and Products

Zawadowski, Marek

Journal:

Applied Categorical Structures

Year:

2015

Language:

english

File:

PDF, 391 KB

english, 2015

14

Monads of Regular Theories

Szawiel, Stanisław, Zawadowski, Marek

Journal:

Applied Categorical Structures

Year:

2015

Language:

english

File:

PDF, 1.74 MB

english, 2015

15

Interatrial pressure gradients during simulated obstructive sleep apnea: A catheter-based study

Konecny, Tomas, Khanna, Amber D., Novak, Jan, Jama, Abdi A., Zawadowski, George M., Orban, Marek, Pressman, Gregg, Bukartyk, Jan, Kara, Tomas, Cetta, Frank, Borlaug, Barry A., Somers, Virend K., Reede

Journal:

Catheterization and Cardiovascular Interventions

Year:

2014

Language:

english

File:

PDF, 471 KB

english, 2014

16

Theories of analytic monads

SZAWIEL, STANISŁAW, ZAWADOWSKI, MAREK

Journal:

Mathematical Structures in Computer Science

Year:

2014

Language:

english

File:

PDF, 409 KB

english, 2014

17

Rigidity is undecidable

BOJAŃCZYK, MIKOŁAJ, SZAWIEL, STANISŁAW, ZAWADOWSKI, MAREK

Journal:

Mathematical Structures in Computer Science

Year:

2014

Language:

english

File:

PDF, 247 KB

english, 2014

18

Interpolation and Conceptual Completeness for Pretoposes via Category Theoryby Andrew M. Pitts; David W. Kueker; Edgar G. K. Lopez-Escobar; Carl H. Smith;Conceptual Completeness for First-order Intutionistic Logic: An Application of Categorical Logicby Andrew M. Pitts

Review by: Marek Zawadowski

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 460 KB

1995

19

The Skolem-Löwenheim Theorem in Toposes. II

Marek Zawadowski

Journal:

Year:

1985

Language:

english

File:

PDF, 1.37 MB

english, 1985

20

Formal Systems for Modal Operators on Locales

Gonzalo E. Reyes and Marek W. Zawadowski

Journal:

Year:

1993

Language:

english

File:

PDF, 1.28 MB

english, 1993

21

Sheaves over Heyting Lattices

Andrzej W. Jankowski and Marek Zawadowski

Journal:

Year:

1985

Language:

english

File:

PDF, 1.62 MB

english, 1985

22

The Skolem-Löwenheim Theorem in Toposes

Marek Zawadowski

Journal:

Year:

1983

Language:

english

File:

PDF, 1.70 MB

english, 1983

23

Undefinability of Propositional Quantifiers in the Modal System S4

Silvio Ghilardi and Marek Zawadowski

Journal:

Year:

1995

Language:

english

File:

PDF, 1.21 MB

english, 1995

24

co-Semi-analytic Functors

Zawadowski, Marek, Gierasimczuk, Nina, Szymanik, Jakub

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 252 KB

english, 2019

25

Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account

Grudzińska, Justyna, Zawadowski, Marek

Journal:

Journal of Logic, Language and Information

Year:

2019

Language:

english

File:

PDF, 501 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски